integration using trigonometric substitution